把张益唐坑苦的雅可比猜想,被Fable 5证伪了?
把张益唐坑苦的雅可比猜想,被Fable 5证伪了?今天上午,一位在 Anthropic 工作的数学家 Levent Alpoge 发了一条推文。学术圈的反应很快。斯坦福的数论学家 Jared Duker Lichtman 转发并逐步拆解了这个反例,还顺手挖出了一段几乎像电影桥段的历史巧合(后面细说)
搜索
今天上午,一位在 Anthropic 工作的数学家 Levent Alpoge 发了一条推文。学术圈的反应很快。斯坦福的数论学家 Jared Duker Lichtman 转发并逐步拆解了这个反例,还顺手挖出了一段几乎像电影桥段的历史巧合(后面细说)
7 月 14 日,Anthropic 正式发布 Claude for Teachers,面向美国 K12 教师免费开放高级功能,支持备课、课程设计、学习分析等教学场景。而在此之前,OpenAI 已经推出 ChatGPT for Teachers,同样聚焦教师教学支持,并计划向美国 K12 学区开放。
机器之心编辑部 由 OpenAI 前首席技术官 Mira Murati 创立的 AI 初创公司 Thinking Machines Lab,刚刚发布了自研 AI 模型 Inkling。与 OpenAI、Anthropic 或 Google 的旗舰模型不同,Inkling 是一款开放权重模型,外部开发者和企业可以直接下载,并根据自身需求进行修改。
最近一段时间,越来越多人开始讨论一个词:Loop。刚开始看到这个说法,我也觉得有点抽象。Agent 本身不就会反复思考、调用工具、修改代码吗?为什么还要专门设计一个 Loop?周末两天看完 Claude Code 团队写的一篇文章,我才发现,这件事其实没有那么玄乎。
7 月 14 日,Anthropic 旗下 Claude 开发者账号宣布,Artifacts 迎来一轮协作能力更新:Claude Code 创建的 Artifact 现在支持公开分享和多人协作编辑,团队还可以通过 Slack 中的 Claude Tag 直接创建 Artifact。
近日,有外媒报道称,自 2022 年成立以来一直专注于编程工具的 Cursor,正在开发一款名为 Sand 的通用型 AI 智能体,希望在更广泛的生产力场景中,与 Anthropic 的 Claude 和 OpenAI 的 ChatGPT 展开正面竞争。
7 月 8 日,韩国知名开发者 remy_notes 在 Threads 上晒出两张 Anthropic 发票截图:第一张 166.9 万美元(约 1130 万元人民币),第二张 1662 万美元(约 1.1 亿元人民币)。两张发票间隔不到 24 小时,金额翻了近 10 倍。
曾经人们讨论前沿模型时,话题通常是「它有多强」「它比竞品快多少」「它能取代什么工作」。但这一次,有人开始问它能不能跑在端侧。不过说实话,这个想法目前放在 Fable 5 身上,还是太乐观了,这毕竟是 Anthropic 第一个 Mythos 级的公开模型,100 万 token 上下文窗口,专为长时间异步任务设计
“Dario 见证的百度 AI 路线分歧。 ” 作者丨成妍菁 编辑丨胡敏 Anthropic 创始人 Dario 的职业开局有些戏剧化。 2014 年刚走出校园加入百度,就赶上中国互联网历史上第一场“
Anthropic 工程师人均每个季度产出的代码量,是 2025 年同期的 8 倍。这可不是某个孤立团队的战绩,而是一整条从「稳定」直接拉升到「起飞」的曲线:过去几年几乎持平的产出量,在过去一年里近乎垂直上升。